Pleasant Imperative Program Proofs with GallinaC
arxiv.org·3d
📜Proof Carrying Code
Claude Can (Sometimes) Prove It
galois.com·3d·
Discuss: Lobsters, Hacker News
📐Proof Assistants
Isabelle rule musings
blueberrywren.dev·1d
🎯Proof Tactics
Controlling program flow with capabilities in Scala
nrinaudo.github.io·1d·
Discuss: Lobsters, Hacker News, r/programming
🧠Lisp Dialects
Intuitions Behind the Range Proofs of Bulletproof
cryptologie.net·1d
🎯Proof Tactics
🧠How to use AI more efficiently for free (Serena MCP)🧐
dev.to·5h·
Discuss: DEV
👑Isabelle
Enter Sandbox 30: Static Analysis gone wrong
hexacorn.com·10h
🔍Binary Forensics
Issue 490
haskellweekly.news·1d
🔗Functional Compilers
System Instruction Fixed Point
funcall.blogspot.com·3d·
Discuss: www.blogger.com
⚡Proof Automation
haskell/mtl
github.com·2d
🔗Functional Compilers
TabEscaper 3000: The Parent-Proximity Auto-Tab Switcher
hackster.io·4h
🕹️Retro Gaming
The Ternary Manifesto
homepage.cs.uiowa.edu·2d
📝Concrete Syntax
MCP Tools: Attack Vectors and Defense Recommendations for Autonomous Agents
elastic.co·1d
🧪Protocol Fuzzing
Fail loudly: a plea to stop hiding bugs
alejo.ch·10h·
Discuss: r/programming
🛡️Error Boundaries
How AI coding tools can learn to develop secure software
reversinglabs.com·2d
⚡Proof Automation
Building a Debugger • Sy Brand & Tim Misiak
youtube.com·17h
⚙️Build Archaeology
What I learned building a programming language with LLM agents
eddmann.com·1d·
Discuss: Hacker News
🗣️Domain-Specific Languages
Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.com·4d·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
Lethal Trifecta – Using Notion AI's Web Search Tool to Leak Private Notion Pages
codeintegrity.ai·15h·
Discuss: Hacker News, Hacker News
🎫Kerberos Exploitation
I wrote a guide on Go slices (len/cap, append growth, slicing pitfalls, and copy for leak-free code)
reddit.com·1d·
Discuss: r/golang
🦀Rust Macros